λββ∪(∀p*P)@ α ∂p∀≥ ¬@∃λ∨}h¬*!08 ↓8@∧@!¬x¬⊃!⊂λ∧ha~_@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂↓1p@⊂↓≠@&p@⊂@⊂@⊂↓H)X↓&p@⊂@$⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@⊂@.@↓⊃@!p↓%`$0↓≠`&x↓."0↓@&x↓	@$X↓∩`